Emerald: A General-Purpose Programming Language
نویسندگان
چکیده
Emerald is a general-purpose language with aspects of traditional object-oriented languages, such as Smalltalk, and abstract data type languages, such as Modula-2 and Ada. It is strongly typed with a nontraditional object model and type system that emphasize abstract types, allow separation of typing and implementation, and provide the flexibility of polymorphism and subtyping with compile-time checking. This paper describes the Emerald language and its programming methodology. We give examples that demonstrate Emerald’s features, and compare and contrast the Emerald approach to programming with the approaches used in other similar languages.
منابع مشابه
Emerald : A General - Purpose Programming
SUMMARY Emerald is a general-purpose language with aspects of traditional object-oriented languages, such as Smalltalk, and abstract data type languages, such as Modula-2 and Ada. It is strongly-typed with a non-traditional object model and type system that emphasize abstract types, allow separation of typing and implementation, and provide the exibility of polymorphism and subtyp-ing with comp...
متن کاملTypechecking Polymorphism in Emerald
Emerald is a statically typed object-oriented language that was originally intended for programming distributed subsystems and applications [Jul 88]. It is important that such systems be dynamically extensible, i.e., that it be possible to introduce new kinds of entities into the system without re-compiling or re-linking the whole system. This led us to devise a type system based on the notion ...
متن کاملGrace's Inheritance
This article is an apologia for the design of inheritance in the Grace educational programming language: it explains how the design of Grace’s inheritance draws from inheritance mechanisms in predecessor languages, and defends that design as the best of the available alternatives. For simplicity, Grace objects are generated from object constructors, like those of Emerald, Lua, and Javascript; f...
متن کاملConcurrency , Distribution and Object Orientation Expressed in Map Theory
This paper describes how concurrency, distribution and object orientation can be expressed in map theory, using a subset of the Emerald language as an example. In particular the paper covers parallelism in which a created process can continue to run after the creating process halts. The semantics is presented in a continuation passing style in map theory. Map theory is a foundation of mathemati...
متن کامل4.2 Broadcast Statement
This paper presents a proposal for incorporating a group communication paradigm into an object-based environment. Group communication is an interaction involving an arbitrary number of participants. Its application simpli es speci cation and implementation of complex systems. Object-oriented programming can signi cantly pro t from the addition of a group mechanism. Our proposed mechanism, Multi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Softw., Pract. Exper.
دوره 21 شماره
صفحات -
تاریخ انتشار 1991